lambda calculus nghĩa là gì

phép tính lambda

• lambda:    ['læmdə]danh từLamdda (chữ cái Hy-lạp)lambdalamđa (λ)Từ điển kỹ thuậtlam đalambda grambiểu đồ lam đaLĩnh vực: điệnlamdaGiải thích VN: Chữ thứ 11 trong mẫu tự Hy Lạp, ký hiệu của độ dài sóng.lam
• calculus:    ['kælkjuləs]danh từ(số nhiều calculuses) (toán học) phép tínhdifferential calculusphép tính vi phânintegral calculusphép tính tích phân(số nhiều calculi) (y học) sỏi (thận)calculus(Tech) phép vi tíc
• lambda probe or lambda sensor:    Từ điển kỹ thuậtLĩnh vực: ô tôcảm biến lamdacảm biến ôxi

Câu ví dụ

thêm câu ví dụ:   Tiếp＞

Based on the lambda calculus, Lisp soon became the programming language of choice for AI applications after its publication in 1960.[14]
Dựa trên tính toán lambda, Lisp sớm trở thành ngôn ngữ lập trình được lựa chọn cho các ứng dụng AI sau khi xuất bản năm 1960.[13]

Based on the lambda calculus, Lisp soon became the programming language of choice for AI applications after its publication in 1960.
Dựa trên tính toán lambda, Lisp sớm trở thành ngôn ngữ lập trình được lựa chọn cho các ứng dụng AI sau khi xuất bản năm 1960.[13]

Based on the lambda calculus, Lisp rapidly became the programming language of choice for AI applications after its publication in 1960.
Dựa trên tính toán lambda, Lisp sớm trở thành ngôn ngữ lập trình được lựa chọn cho các ứng dụng AI sau khi xuất bản năm 1960.[13]

Alonzo Church, the Ph.D. supervisor for the Enigma breaker Alan Turing, came up with the mathematical model of functions called the lambda calculus in the 1930s.
Nhà thờ Alonzo, Tiến sĩ giám sát viên của bộ ngắt Enigma Alan Turing, đã đưa ra mô hình toán học của các hàm được gọi là phép tính lambda vào những năm 1930.

While his proof was published subsequent to Alonzo Church’s equivalent proof in respect to his lambda calculus, Turing’s work is considerably more accessible and intuitive.
Tuy chứng minh của ông được đăng công khai sau chứng minh tương tự của Alonzo Church đối với phép tính lambda (lambda calculus), chứng minh của Turing được coi là dễ hiểu và trực giác hơn.